Единица системы множеств

Множество $X$ называется **единицей системы множеств** $T$, если: 1. $X \in T$ 2. $\forall{A \in T}\mathpunct{:}~~ A \cap X = A$

Очевидно, такое название оправдывается ролью множества $X$ при «умножении» (т. е. пересечении) множеств.

Все конечные множества, состоящие из натуральных чисел, образуют кольцо без единицы